lnk1\{a to b\} $\in$ IdLnk